Un espacio vectorial es un "terreno de juego" matemático riguroso definido no por la naturaleza de sus objetos, sino por cómo se comportan. Ya sea que estés trabajando con flechas en $\mathbf{R}^n$, matrices en $\mathbf{M}$ o funciones continuas, se aplican las mismas reglas.
Los Ocho Axiomas del Espacio
Cualquier conjunto de objetos es un espacio vectorial si cumple estas reglas fundamentales:
- 1. Conmutatividad: $x + y = y + x$
- 2. Asociatividad: $x + (y + z) = (x + y) + z$
- 3. Vector Cero: Existe un único $0$ tal que $x + 0 = x$
- 4. Inversos: Para cada $x$, existe un único $-x$ tal que $x + (-x) = 0$
- 5. Identidad: $1x = x$
- 6. Asociatividad Escalar: $(c_1c_2)x = c_1(c_2x)$
- 7. Distributividad (I): $c(x + y) = cx + cy$
- 8. Distributividad (II): $(c_1 + c_2)x = c_1x + c_2x$
Definición de Subespacios
Un subespacio $S$ de $V$ es un subconjunto que está "cerrado" bajo las operaciones del espacio más grande. Nunca puedes salir del subconjunto al sumar sus elementos o al multiplicarlos por escalares.
El Teorema de Cierre
Un subconjunto $S$ es un subespacio si y solo si para todo $v, w \in S$ y todo escalar $c, d$:
$$cv + dw \in S$$
Esto implica que $S$ debe contener el vector cero ($0 \in S$), porque $0v = 0$.La Generación y la Suma
La generación de un conjunto $S$ es el menor subespacio que contiene todos los vectores de $S$:
$$SS = \text{todos } c_1v_1 + \dots + c_nv_n$$
Además, dados dos subespacios $S$ y $T$, su suma $S + T$ (que contiene todos los vectores $s+t$) forma un nuevo subespacio. Obsérvese que la unión $S \cup T$ casi nunca es un subespacio!
🎯 La Prueba del "Cero"
La forma más rápida de descartar que un subconjunto no sea un subespacio es verificar la presencia del vector cero. Si $x=0$ no está incluido, no puede ser un subespacio. Los errores comunes incluyen planos desplazados respecto al origen o cuadrantes que excluyen valores negativos.